COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.device xgp
C00013 ENDMK
C⊗;
.device xgp
.turn on "%"
.FONT 1 "Basi30"
.FONT 2 "basl30"
.Font 3 "metlb"
.Font 4 "basb30"
.nofill
.turn on "#";

.begin center
%3The 1980 LISP Conference Program

Stanford, August 24-27, 1980
.end
.begin center

%4Registration 4:00pm to 6:00pm, August 24, 1980 in Twain North Lounge

Reception 7:00pm to 10:pm in Twain East Lounge
.end


%4Invited Address: 9:00 to 9:30, August 25, 1980 in Kresge Auditorium

%2John McCarthy, Stanford University  


%4Session 1: 9:30 to 10:20, August 25, 1980 #########Chaired by Richard Fateman, U. C. Berkeley

%1Symbolic Computing with and without LISP  
%2J. Campbell, University of Exeter and J. Fitch, University of Bath  

%1Prose and CONS - Multics Emacs: A Commercial Text-processing System in LISP
%2B. Greenberg, Honeywell

.once center
%4Break

%4Session 2: 10:45 to 12:00, August 25, 1980 #########Chaired by Daniel Friedman, Indiana University

%1Explicit Parallelism in LISP-like Languages  
%2G. Prini, University of Pisa

%1Continuation-Based Multiprocessing   
%2M. Wand, Indiana University

%1MULTI - A LISP Based Multiprocessing System  
%2D. McKay and S. Shapiro, SUNY at Buffalo

.once center
%4Lunch

%4Session 3: 1:30 to 3:10, August 25, 1980 #########Chaired by Carolyn Talcott, Stanford University

%1The Function-Class
%2T. Kurokawa, Japan   

%1A Constructive Alternative to Axiomatic Data Type Definitions  
%2R. Cartwright, Cornell University

%1A Semantic Comparison of LISP and SCHEME 
%2S. Muchnick, UC Berkeley  and U. Pleban, University of Kansas

%1MODLISP
%2J. Davenport and  R. Jenks, IBM

.once center
%4Break

%4Session 4: 3:45 to 5:00, August 25, 1980 #########Chaired by Alan Kay, Xerox PARC

%1Extending Object Oriented Programming in Smalltalk 
%2I. Goldstein and D. Bobrow, Xerox PARC

%1A System of Communicating Residential Environments 
%2E. Sandewall, H. Sorenson, and C. Stromberg, Linkoping

%1A Session with Tinker: Interleaving Program Testing with Program Writing  
%2H. Lieberman and C. Hewitt, MIT

.once center
%4Dinner

.next page

%4Session 5: 9:00 to 10:15, August 26, 1980 #########Chaired by David Wise, Indiana University

%1Computing with Text-Graphics Forms
%2F. Lakin, Xerox

%1Design of the APIARY for Actor Systems 
%2C. Hewitt, MIT

%1Address/Memory Management for a Gigantic LISP Environment  
%2J. White, MIT

.once center
%4Break

%4Session 6: 10:45 to 12:00, August 26, 1980 #########Chaired by Carl Hewitt, MIT

%1SKIM - The S, K, I Reduction Machine 
%2T. Clarke, P. Gladstone, C. MacLean and A. Norman, Trinity College

%1HOPE: An Experimental Applicative Language 
%2R. Burstall, D. MacQueen, and D. Sannella, University of Edinburgh

%1Computing Cyclic List Structures 
%2L. Morris, Syracuse University and J. Schwarz, Bell Labs

.once center
%4Lunch

%4Session 7: 1:30 to 3:10, August 26, 1980 #########Chaired by Anthony Hearn, University of Utah

%1An Efficient Environment Allocation Scheme in an Interpreter for a Lexically-Scoped LISP  . . 
%2D. McDermott, Yale University

%1The Dream of a Lifetime: A Lazy Variable Extent Mechanism  
%2G. Steele Jr. and G. Sussman, MIT

%1Strategies for Data Abstraction in LISP  
%2B. Steele, MIT

%1Special Forms in LISP
%2K. Pitman, MIT

.once center
%4Break

%4Session 8: 3:45 to 5:00, August 26, 1980 #########Chaired by Bruce Anderson, Essex University
%1Panel Discussion 


.once center
%4Conference Banquet 6:00 to 10:00 in Bowman Oak Grove

.next page
%4Session 9: 8:35 to 10:15, August 27, 1980 #########Chaired by Gianfranco Prini, University of Pisa

%1Multiprocessing via Intercommunicating LISP Systems  
%2M. Model, Brandeis University

%1Divide and CONCer: Data Structuring in Applicative Multiprocessing Systems  
%2R. Keller, University of Utah

%1Compilation Techniques for a Control-Flow Concurrent LISP System 
%2J. Marti, University of Utah

%1On Compiling Embedded Languages in LISP  
%2P. Emanuelson and A. Haraldsson, Linkoping

.once center
%4Break

%4Session 10: 10:45 to 12:25, August 27, 1980 #########Chaired by Eiichi Goto, University of Tokyo

%1A LISP Compiler Producing Compact Code   
%2W. Rowan, UC San Francisco

%1Local Optimization in a Compiler for Stack-based LISP Machines   
%2L. Masinter and L. P. Deutsch, Xerox PARC

%1ByteLisp and its Alto Implementation   
%2L. P. Deutsch, Xerox PARC

%1Overview and Status of DoradoLISP  
%2R. Burton, L. Masinter, D. Bobrow, W. Haugeland, R. Kaplan, and B. Sheil, Xerox PARC

.once center
%4Closing Activities






%4
Lounge

U. C. Berkeley

Indiana University


Indiana University




U. C. Berkeley


University of Pisa


University of Tokyo


University of Utah


Essex University


Stanford University

%1 Lexically-Scoped LISP